11![CALL FOR PAPERS Reed-Muller 2017 Workshop May 24-25, 2017, Novi Sad, Serbia After the International Symposium on Multiple-Valued Logic, May 22-24, 2017, Novi Sad, Serbia The goal of the Reed-Muller 2017 Workshop is to pr CALL FOR PAPERS Reed-Muller 2017 Workshop May 24-25, 2017, Novi Sad, Serbia After the International Symposium on Multiple-Valued Logic, May 22-24, 2017, Novi Sad, Serbia The goal of the Reed-Muller 2017 Workshop is to pr](https://www.pdfsearch.io/img/6b13a043a43cdd654f3f1a9f537532a9.jpg) | Add to Reading ListSource URL: www.mvl.jpn.org- Date: 2016-10-23 18:01:27
|
---|
12![JMLR: Workshop and Conference Proceedings 13: 2nd Asian Conference on Machine Learning (ACML2010), Tokyo, Japan, Nov. 8–10, 2010. An EM algorithm on BDDs with order encoding for logic-based probabilistic models JMLR: Workshop and Conference Proceedings 13: 2nd Asian Conference on Machine Learning (ACML2010), Tokyo, Japan, Nov. 8–10, 2010. An EM algorithm on BDDs with order encoding for logic-based probabilistic models](https://www.pdfsearch.io/img/caa79c9e9ff4c2f1085df48b2bd64073.jpg) | Add to Reading ListSource URL: jmlr.csail.mit.edu- Date: 2010-10-31 03:38:46
|
---|
13![14th International Workshop on Termination (WSTCarsten Fuhs (Editor) WST 2014, 17–18 July 2014, Vienna, Austria
Vienna Summer of Logic Preface 14th International Workshop on Termination (WSTCarsten Fuhs (Editor) WST 2014, 17–18 July 2014, Vienna, Austria
Vienna Summer of Logic Preface](https://www.pdfsearch.io/img/bab3879b729857e80e97394f29ea39e3.jpg) | Add to Reading ListSource URL: easychair.org |
---|
14![FCS 2009 Workshop on Foundations of Computer Security July 10th, 2009 Los Angeles, California, USA Affiliated with LICS’09 FCS 2009 Workshop on Foundations of Computer Security July 10th, 2009 Los Angeles, California, USA Affiliated with LICS’09](https://www.pdfsearch.io/img/01010de02d8a3f6e2ac7e7e1d6286d80.jpg) | Add to Reading ListSource URL: www.loria.frLanguage: English - Date: 2009-07-20 04:50:04
|
---|
15![The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations](https://www.pdfsearch.io/img/6733ff22c3c05b30fff34064f0b41a07.jpg) | Add to Reading ListSource URL: math.andrej.comLanguage: English - Date: 2016-07-28 09:19:23
|
---|
16![Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff Sutcliffe Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff Sutcliffe](https://www.pdfsearch.io/img/f7996c3aab01c6a73b68b4736b183b5d.jpg) | Add to Reading ListSource URL: www.cs.miami.eduLanguage: English - Date: 2006-11-07 08:18:44
|
---|
17![********************************************************************
日仏ワークショップ「論理・言語・計算-比較文化的視点」
(Franco-Japanese
workshop
on
Logic,Language,
and
comp ********************************************************************
日仏ワークショップ「論理・言語・計算-比較文化的視点」
(Franco-Japanese
workshop
on
Logic,Language,
and
comp](https://www.pdfsearch.io/img/d5db1e51424cf087da51b44b699689c1.jpg) | Add to Reading ListSource URL: abelard.flet.keio.ac.jpLanguage: English - Date: 2012-10-18 06:19:40
|
---|
18![IDT Series LOAIT 2009 3rd Workshop on Legal Ontologies and Artificial IDT Series LOAIT 2009 3rd Workshop on Legal Ontologies and Artificial](https://www.pdfsearch.io/img/d9889f4031e15b48fd9e25e87ff36e50.jpg) | Add to Reading ListSource URL: idt.uab.catLanguage: English - Date: 2015-10-21 12:03:07
|
---|
19![CADE-18 Workshop: Problems and Problem Sets Contents: John Harrison Invited talk: Extracting Test Problems from Real Applications J CADE-18 Workshop: Problems and Problem Sets Contents: John Harrison Invited talk: Extracting Test Problems from Real Applications J](https://www.pdfsearch.io/img/44fcc74964f6b7e213fe1ded6d3b5ec9.jpg) | Add to Reading ListSource URL: www.cs.miami.eduLanguage: English - Date: 2002-06-13 14:56:18
|
---|
20![Munich, Germany August 21, 2009 PLMMS’09 Proceedings of the ACM SIGSAM 2009 International Workshop on Programming Munich, Germany August 21, 2009 PLMMS’09 Proceedings of the ACM SIGSAM 2009 International Workshop on Programming](https://www.pdfsearch.io/img/0bea851e2d3f5b2e14f61f741575d49c.jpg) | Add to Reading ListSource URL: plmms09.cse.tamu.eduLanguage: English - Date: 2009-08-19 04:48:38
|
---|